Proof assistant - PDFSEARCH.IO - Document Search Engine

Proof assistant
Results: 176

#	Item
41	Concrete Semantics A Proof Assistant Approach Tobias Nipkow Fakult¨ at f¨ ur Informatik Add to Reading List Source URL: www.concrete-semantics.org Language: English - Date: 2016-02-29 08:38:36
42	OUP CORRECTED PROOF – FINAL, , SPi Introduction No cities have been erected by the lyre of Amphion, no magic wand has converted deserts into gardens: but language, the grand assistant of man, has done these.1 Add to Reading List Source URL: fdslive.oup.com Language: English - Date: 2013-09-30 10:45:06
43	Concrete Semantics A Proof Assistant Approach Tobias Nipkow Fakult¨ at f¨ ur Informatik Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2016-02-29 08:38:36
44	Formalizing Mathematics In A Proof Assistant An Introduction Assia Mahboubi A. Mahboubi – Formalizing Mathematics In A Proof Assistant Add to Reading List Source URL: specfun.inria.fr Language: English - Date: 2014-04-12 14:03:33
45	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-10 09:41:34 Automated theorem proving Usability KeY Automated reasoning Proof assistant Reasoning system Formal verification E theorem prover Isabelle Software testing Geoff Sutcliffe Software verification
46	´ Lecture at Ecole Jeunes Chercheurs en Programmation (EJCPProgramming and Proving: Practice with FoCaLiZe Add to Reading List Source URL: focalize.ensta-paristech.fr Language: English - Date: 2014-10-14 06:07:22 Mathematical logic Mathematical proofs Logical syntax Deduction Proof assistant Natural deduction Coq Theorem Automated proof checking Logic Mathematics Proof theory
47	Teaching Induction with Functional Programming and A Proof Assistant Peter-Michael Osera Steve Zdancewic Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2015-03-25 21:30:38
48	Introduction to the Coq proof-assistant for practical software verification Christine Paulin-Mohring 1 2 Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-03-14 08:38:34
49	STRATEGIESCooperative Integration of an Interactive Proof Assistant and an Automated Prover Adam Chlipala1,3,4 George C. Necula2,4 Computer Science Division Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:15
50	T +Santiago Zanella Béguelin H +u + Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Cryptography Proof assistant Science Software Computing Formal sciences Coq GlobalPlatform